一种加强的基于中国剩余定理的群签名

陈泽文等在2004年提出了基于中国剩余定理的群签名方案。该方案在加入或撤销群成员时其他群成员密钥和群公钥的长度保持不变,从而解决了撤销群成员的困难,提供了一种效率高和计算复杂度小的群签名方案。从该方案的研究中发现其基于RSA算法的方案不具有防陷害性和不可伪造性的特征。因此,参照ElGamal的算法,提出了一种加强的基于中国剩余定理群签名的新方案。在新方案中,保证了原有算法在加入和撤销成员具有高效性的同时,进一步改进了陈方案的不足,不再要求可信的群中心,并且群成员也分担了群中心的工作量,使系统更具有实效性。     

Flow influenced electrochemical corrosion of nickel aluminium bronze – Part I. Cathodic polarisation

The cathodic polarisation behaviour of CA 104 nickel aluminium bronze (NAB) has been examined in fully characterised seawaters (filtered and artificial) using the rotating disc electrode (RDE) and the rotating cylinder electrode (RCE). Linear sweep voltammetry and a potential step, current transient technique were used to examine the charge transfer and mass transfer controlled cathodic response as a function of both laminar and turbulent fluid flow. For freshly polished surfaces, the rate of irreversible charge transfer controlled oxygen reduction is controlled by the exchange of a single electron and hydrogen evolution is only significant at potentials more negative than approximately –1.0 V vs. the saturated calomel electrode (SCE).     

视觉显著性的眼底图像视盘检测

目的 青光眼是导致失明的主要疾病之一,视盘区域的形状、大小等参数是青光眼临床诊断的重要指标。然而眼底图像通常亮度低、对比度弱,且眼底结构复杂,各组织以及病灶干扰严重。为解决上述问题,实现视盘的精确检测,提出一种视觉显著性的眼底图像视盘检测方法。方法 首先,依据视盘区域显著的特点,采用一种基于视觉显著性的方法对视盘区域进行定位;其次,采用全卷积神经网络（fully convolutional neural network,FCN）预训练模型提取深度特征,同时计算视盘区域的平均灰度,进而提取颜色特征;最后,将深度特征、视盘区域的颜色特征和背景先验信息融合到单层元胞自动机（single-layer cellular automata,SCA）中迭代演化,实现眼底图像视盘区域的精确检测。结果 在视网膜图像公开数据集DRISHTI-GS、MESSIDOR和DRIONS-DB上对本文算法进行实验验证,平均相似度系数分别为0.965 8、0.961 6和0.971 1;杰卡德系数分别为0.934 1、0.922 4和0.937 6;召回率系数分别为0.964 8、0.958 9和0.967 4;准确度系数分别为0.996 6、0.995 3和0.996 8,在3个数据集上均可精确地检测视盘区域。实验结果表明,本文算法精确度高,鲁棒性强,运算速度快。结论 本文算法能够有效克服眼底图像亮度低、对比度弱及血管、病灶等组织干扰的影响,在多个视网膜图像公开数据集上进行验证均取得了较好的检测结果,具有较强的泛化性,可以实现视盘区域的精确检测。     

复合岩体的TBM破岩机理数值模拟

为了指导TBM刀盘刀具的研制和不同地质条件下刀盘刀具的选型,TBM破岩机理的研究成为核心。在TBM滚刀的作用下,岩体中裂纹的生成、扩展和连接规律是深刻理解TBM破岩机理的前提,因此,TBM滚刀破岩机理的研究具有重要的工程应用价值。目前,TBM滚刀破岩机理的研究主要集中在单一岩体中,但在TBM施工过程中会遇到各种复杂的地质条件。笔者采用离散元方法,研究了复合岩体的破岩机理,复合岩体中岩片的形成不同于单一岩体,其裂纹的最终连接是由起裂于复合岩体交界面上的微裂纹的扩展,将两滚刀之间的赫兹裂纹连接,最终形成岩片。因此,在一定情况下复合岩体更有利于TBM隧道施工。     

基于多素数和参数替换的改进RSA算法研究

为了提高RSA公钥算法在消息加密过程中的安全性,在深入分析传统RSA算法的基础上,对其进行一些改进性研究,提出了一种比传统RSA算法更加有效的方法优化其安全性。在将传统RSA改进为四素数RSA的基础上,再运用数学变换进行参数替换,消除了在公钥中对传输两个随机素数的乘积n的需要,引入了一个新的参数x代替原参数n。针对改进后的算法在运算效率方面的不足,采用中国剩余定理( Chinese remainder theorem,CRT)优化大数模幂运算。实验结果证实了改进算法的可行性,为通过公钥加密消息发送和接收提供了更安全的路径;同时,对改进算法与传统RSA 和四素数RSA算法的解密(签名)时间进行比较分析。实验结果表明改进后的算法对消息发送方和接收方之间签名效率也有一定程度的优化。     

一种水下群机器人路径规划算法的形式化研究

为了增强基于遗传算法的水下群机器人路径规划算法正确性的说服力,使用定理证明对其进行形式化研究,给出算法在定理证明器HOL4中的形式化模型。基于算法形式化的一般步骤,首先对算法的设计进行了详细的分析,指出算法设计的核心步骤与建模难点。在此基础上建立了总体形式化建模框架,然后对其进行化简,得到种群初始化、选择、交叉三个核心模块。接着给出模型中要用到的基本数据类型的形式化描述,并分别对三个模块进行形式化描述,最终得到算法的形式化模型。通过证明与模型相关的97条性质,说明了模型的合理性及有效性,在此模型的基础上,可以完成对算法的形式化验证,同时还能拓展HOL4的应用范围。     

地球同步轨道SAR曲线轨迹二维空间分辨率分析

针对地球同步轨道合成孔径雷达(GEO SAR)中,卫星轨道是曲线轨迹,且由于地球自转等因素的影响,卫星相对于点目标的运动轨迹没有显式表达式,且航迹速度在不同的卫星轨道位置差异很大的问题,提出了一种基于相位梯度分析的高轨SAR二维空间分辨率计算方法.文中提出了一种猜想,并采用介值定理证明:在合成孔径时间内,存在1个等效航迹速度,使得理论方位向分辨率位于1个范围之内,并计算得到了该方位向分辨率范围.最后,后向投影算法仿真实验验证了该方法的有效性.     

Stress and Deformation Analysis of Cylinder-Crown IntegratedHydraulic Press with Large Capacity

Cylinder-crown integrated hydraulic press (CCIHP) is a new press structure. The hemispherical hydraulic cylinder also functions as a main portion of crown, which has lower weight and higher section modulus compared with the conventional hydraulic cylinder and press crown. In order to design cylinder-crown integrated hydraulic press with large capacity, the theoretical design of hemispherical hydraulic cylinder was first proposed, and the structural parameters of 150 MN CCIHP were listed. Then the simulation was carried out to analyze the stress and deformation of CCIHP, and weight comparison was conducted between CCIHP and conventional press. It is shown that the weight reduction for hydraulic cylinder and press crown is about 20% compared with that for conventional press, and the stress and deformation are both within the range of constraints including strength and stiffness conditions. It is possible to manufacture cylinder-crown integrated hydraulic press with large capacity.     

Stability analysis for natural slope by kinematical approach

The stability of natural slope was analyzed on the basis of limit analysis. The sliding model of a kind of natural slope was presented. A new kinematically admissible velocity field for the new sliding model was constructed. The stability factor formulation by the upper bound theorem leads to a classical nonlinear programming problem, when the external work rate and internal energy dissipation were solved, and the constraint condition of the programming problem was given. The upper bound optimization problem can be solved efficiently by applying a nonlinear SQP algorithm, and stability factor was obtained, which agrees well with previous achievements.